perm filename TMP.XGP[TEX,DEK] blob
sn#549667 filedate 1980-12-11 generic text, type T, neo UTF8
/NOWRAPAROUND/LMAR=50/TMAR=50/RMAR=1700/BMAR=1/PMAR=0/XLINE=0/FONT#0=NGR13/USETI=000000003*TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX*
␈β 4␈↓ ↓H␈ε"a
␈β⊃↔
␈β¬P␈↓ α⊂␈ε"b
␈β⊃↔
␈⬬␈↓ α⊂␈ε"c
␈β⊃↔
␈β 4␈↓ ↓H␈ε"a
␈β⊃↔
␈β¬P␈↓ α⊂␈ε"b
␈β⊃↔
␈⬬␈↓ α⊂␈ε"c
␈β⊃↔/FONT#34=cmr10[XGP,SYS]=abcc